排序方式: 共有70条查询结果,搜索用时 15 毫秒
31.
格蕴涵代数中滤子的若干性质 总被引:3,自引:0,他引:3
首先给出了滤子的几个等价条件,接着定义了固执滤子,证明了固执滤子,极大关联滤子,极大正关联滤子相互等价,得出了越滤是固执滤子及固执滤子是索滤子的结论。最后通过蕴涵同态给出了格蕴涵代数L的固执滤子的一个等价条件,即对任意一个格蕴涵代数L′,总存在一个从L到L′蕴涵同态,使这个滤子就是同态的对偶核。 相似文献
32.
丁立峰 《上海交通大学学报(英文版)》2001,6(1)
Suppose V is a vector space over the real orcomplex field F.A linear transformation T on Vis a function T from V into itself such that T(αx βy) =αTx βTy holds for any vectors x,y∈ V,and any scalarsα,β∈ F.Linear transformationsare applied to represent linear systems.A systemis said to interpolate[1] a family Soflinear transfor-mations if for each input of the system the corre-sponding output can be obtained by the action ofsome member of S.Thatis,if foreach x∈V,Tx= Qxx,for some … 相似文献
33.
介绍了一种基于关系代数的句法分析单元设计.尝试通过与关系代数模型紧密集成,利用关系数据库系统能够组织和快速检索海量数据的特点,提高句法分析单元的处理复杂文法样本的能力,同时减轻用户的编码负担.在此框架中,部分推导树集合被表示为关系;推理规则集被表示为扩展的关系代数运算.给出了算法实现所需的数据结构和控制结构.从而将句法分析算法完全表示为数据库系统中的一个关系运算过程.最后通过原型系统验证了该方法的可行性. 相似文献
34.
讨论有关格蕴函代数结构的模型论性质,证明了形式化格蕴函数代数理论T保子模型,保模型链之并、保模型同态、理论T不是完备的,也不是模型完备的,因此不存在内在Skolem函数。另外,文中借助于超滤概念提出了格蕴函代数簇的超积及格蕴函代数中模糊子集的模糊超积,并进而研究了模糊滤子、模糊关联滤子及模糊子格蕴涵代数的相应性质。 相似文献
35.
用区间代数能表示不确定的时态关系,可以方便地应用于时态推理,表达能力强。将区间代数及区间矩阵中有端点相等的基本关系去掉,只保留现实世界中真正可能发生的基本关系,大大降低了问题的复杂性,然后,对每个原子矩阵建立一个特征集,用特征集的并运算来取代矩阵的复合运算,提高了计算效率。 相似文献
36.
给出有限维结合代数上表示可约性的两个判别法。它们是,(I)若φ是有限维结合代数A上的表示,其表示矩阵为αφ,且存在非零元α∈Z(A),使得T(α)≠0,而detT(α)≠0,则φ是可约的;(Ⅱ)若φ是有限维结合代数A上的正则表示,其反表示矩阵为S(α),则φ是既约的充要条件为:A↓α∈A,α≠0,有detS(α)≠0。 相似文献
37.
刘娜娜 《青岛远洋船员学院学报》2012,(3):67-71
研究的主要目的是调查感知学习风格与英语学习策略之间的相关性。研究采用了感知学习风格调查量表和学习策略调查量表,通过对学生的问卷调查,收集了相关的数据。研究运用社会科学统计软件包(SPSS)对收集的数据作了统计分析,发现感知学习风格和学习策略之间确实存在一定的相关性,最后提出教师应引导不同感知学习风格的学生使用不同的学习策略来提高英语水平。 相似文献
38.
冯燕芳 《上海交通大学学报(哲学社会科学版)》2011,19(1)
《元史学》是美国著名历史哲学家海登.怀特唯一的专著。在《元史学》中,怀特为历史作品设置了一个理想框架,力图为历史编撰立法。历史编撰者运用比喻进行历史深层的诗性预构,历史作品所表现出的情节化解释、形式论证式解释、意识形态式解释缺一不可;历史中阶段和类型划分也有统一的范式。19世纪不同路数的众多历史学家和历史哲学家都包含在他的法当中。我们要辩证地看待怀特为历史编撰所立之法。 相似文献
39.
为了解决关系表的多重选择和投影运算的优化问题,运用范畴理论构建了关系数据库的范畴模型,并对其性质进行了讨论.以该范畴模型为基础,探讨了关系数据库中关系代数等价变换规则中的选择运算和投影运算的串接定律,并对其功能进行了扩充. 相似文献
40.
航空器在同高度汇聚飞行时总会存在飞行冲突,文中根据极大代数法的思想,将航空器到达交叉点离散的过程线性化,并且针对同一终端区航空器离场向同一导航点汇聚的实际航路结构,给出了问题的具体描述,建立了具体的终端区单航路极大代数服务模型,并将其推广到通用情况下.在单航路模型基础上根据极大代数思想设计了终端区航路汇聚模型,解决了同高度航空器汇聚的冲突问题,可以将2条线型航线在交叉点的冲突规避,实现4D航迹的无冲突预测.对模型进行了算例验证,结果表明,极大代数能够较好的解决航空器航迹冲突的问题,实现航空器到关键点的无冲突放行,从而一定程度上提高了空域资源的利用率. 相似文献